Logic and Artiicial Intelligence: Divorced, Still Married, Separated . . . ?

Though it's diicult to agree on the exact date of their union, logic and artiicial intelligence (AI) were married by the late 1950s, and, at least during their honeymoon, were happily united. What connubial permutation do logic and AI nd themselves in now? Are they still (happily) married? Are they divorced? Or are they only separated, both still keeping alive the promise of a future in which the old magic is rekindled? This paper is an attempt to answer these questions via a review of six books. Encapsulated, our answer is that (i) logic and AI, despite tabloidish reports to the contrary, still enjoy matrimonial bliss, and (ii) only their future robotic oospring (as opposed to the children of connectionist AI) will mark real progress in the attempt to understand cognition. 1 The Logic{AI Marriage Though it's diicult to agree on the exact date of their union, logic and artiicial intelligence (AI) were married by the late 1950s, and, at least during their honeymoon, were happily married. But what connubial permutation do logic We are indebted to Stevan Harnad, Pat Hayes, Drew McDermott and Ron Noel for helpful conversations about some of the issues discussed herein.